A theorv for the by Franz Guenthner Hubert Lehmann representation of - knowledge Wolfgang Schonfeld
نویسندگان
چکیده
How to represent knowledge is one of the key questions in the construction of expert systems. Its solution depends on a number of factors, the most important of which are how knowledge is to be acquired and how it is to be used. Since we are interested in the use of natural language for communication with computers, we require from a formalism suggested for knowledge representation that it be suitable as a target for the systematic translation from natural language expressions. We want to propose a theory, called Discourse Representation Theory (DRT), which was originally developed by Kamp to analyze natural language discourse, as a means to represent knowledge in an expert system. With Discourse Representation Theory it has been possible to solve certain cases of contextual relations which have puzzled linguists and logicians for a long time. In this paper we give a precise definition of DRT and describe the rules used to translate from natural language to Discourse Representation Structures (DRSs), the central notion of the theory. We show how the notation used in DRT relates to standard predicate logic and define its deductive theory. We also outline ways of implementing DRT and the proof procedures we intend to use.
منابع مشابه
Automatic Construction Of Discourse Representation Structures
Kamp's Discourse Representation Theory is a major breakthrough regarding the systematic translation of natural language discourse into logical form. We have therefore chosen to marry the User Specialty Languages System, which was originally designed as a natural language frontend to a relational database system, with this new theory. In the paper we try to show taking for the sake of simplicity...
متن کاملRules for Pronominalization
R igorous i n te rp re ta t i on of p ronouns is possib le when syn tax , semant ics, and pragmat ics of a d iscourse can be reasonably con t ro l l ed . In te rac t ion w i t h a database prov ides such an env i ronmen t . In the f ramework of the User Spec ia l ty Languages system and Discourse Representat ion T h e o r y , we fo rmu la te s t r i c t and p re fe ren t ia l rules fo r p ronom...
متن کاملNeuron Mathematical Model Representation of Neural Tensor Network for RDF Knowledge Base Completion
In this paper, a state-of-the-art neuron mathematical model of neural tensor network (NTN) is proposed to RDF knowledge base completion problem. One of the difficulties with the parameter of the network is that representation of its neuron mathematical model is not possible. For this reason, a new representation of this network is suggested that solves this difficulty. In the representation, th...
متن کاملInstantaneous Bethe–Salpeter Equation: Analytic Approach for Nonvanishing Masses of the Bound–State Constituents
The instantaneous Bethe–Salpeter equation, derived from the general Bethe–Salpeter formalism by assuming that the involved interaction kernel is instantaneous, represents the most promising framework for the description of hadrons as bound states of quarks from first quantum-field-theoretic principles, that is, quantum chromodynamics. Here, by extending a previous analysis confined to the case ...
متن کامل